- гірнича промисловість
- горная (горнодобывающая) промышленность - mining industry - Bergbau, Montanindustrie - комплекс галузей важкої промисловості з розвідування родовищ корисних копалин, видобування їх з надр Землі та збагачення. Всі галузі гірничої промисловості поділяються на такі основні групи: паливодобувну (вугільна, нафтова, сланцева, торфова, видобування природного газу), рудодобувну (залізорудна, марганцеворудна, видобування кольорових руд, благородних і рідкісних металів та ін.), гірничохімічну (видобування калійних солей, кам'яної солі, апатитів, нефелінів, бокситів, сірки, фосфоритів тощо), по видобуванню мінеральної сировини для будівельної індустрії, вогнетривкої та керамічної промисловості, гідромеліоративну.
Гірничий енциклопедичний словник, т. 1. – Донецьк: Східний видавничий дім. За загальною редакцією В.С.Білецького. 2001.